Issue4773.agda:21,15-55
The module N doesn't export the following:
  X
  Z
  Y
when scope checking the declaration
  module N = M using (X) hiding (Z) renaming (Y to Y')
Issue4773.agda:35,12-49
The module _ doesn't export the following:
  Y
  Z
when scope checking the declaration
  open B Set renaming (Y to Y'; Z to Z')

———— All done; warnings encountered ————————————————————————

Issue4773.agda:21,15-55
The module N doesn't export the following:
  X
  Z
  Y
when scope checking the declaration
  module N = M using (X) hiding (Z) renaming (Y to Y')

Issue4773.agda:35,12-49
The module _ doesn't export the following:
  Y
  Z
when scope checking the declaration
  open B Set renaming (Y to Y'; Z to Z')
